• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۶۷۵ پاسخ غیر تکراری از ۶۸۲ پاسخ تکراری در مدت زمان ۰,۷۵ ثانیه یافت شد.

541. Programming Languages and Systems -- ESOP '96 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Hanne Riis Nielson.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Software engineering.

Classification :

542. Programming Logic and Design, Comprehensive

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joyce Farrell

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

543. Programming Logic and Design, Comprehensive

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joyce Farrell

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

544. Programming Logic and Design: Comprehensive

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joyce Farrell

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

545. Programming Logic and Design, Comprehensive

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joyce Farrell

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

546. Programming Logic and Design, Comprehensive, 7th Edition

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joyce Farrell

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING

Classification :
E-BOOK

547. Programming and Mathematical Method :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Manfred Broy.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Software engineering.

Classification :
QA76
.
6
E358
1992

548. Programming in Prolog

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by William F. Clocksin, Christopher S. Mellish.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Data structures (Computer science),Logic design.

Classification :
QA76
.
73
.
P76
B995
1984

549. Programming in Prolog

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by William F. Clocksin, Christopher S. Mellish.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer science.

Classification :
QA76
.
73
.
P76
B995
1994

550. Programming language implementation and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Parallel programming (Computer science) ► Logic design

Classification :
004
P964

551. Programming languages and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hongseok Yang (edition)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses

Classification :
QA76
.
7
.
A65
2011

552. Programming languages and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Amal Ahmed (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)

Classification :
QA76
.
6

553. Programming languages and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Sukyoung Ryu (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.

Classification :
QA76
.
7

554. Programs as Data Objects :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Harald Ganzinger, Neil D. Jones.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Software engineering.

Classification :

555. Progress in Artificial Intelligence :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Miguel Filgueiras, Luís Damas.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer science.,Computer Science.

Classification :

556. Proof and system-reliability

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.

Classification :

557. Proof technology and computation /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Helmut Schwichtenberg and Katharina Spies.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.

Classification :
QA76
.
9
.
A96
N38
2003eb

558. Quantum-dot cellular automata circuits for nanocomputing applications

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by Trailokya Nath Sasamal ... [et al.].

Library: Library of College of Science University of Tehran (Tehran)

Subject: Logic circuits.,Quantum computing.,Quantum dots.,Quantum electronics.

Classification :

559. RIMS Symposia on Software Science and Engineering II :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Programming languages (Electronic computers),Software engineering.

Classification :
QA76
.
6
E358
1986

560. Recent Trends in Data Type Specification :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Software engineering.

Classification :
  • »
  • 34
  • 33
  • 32
  • 31
  • 30
  • 29
  • 28
  • 27
  • 26
  • 25
  • 24
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival